<?php

$php_version = phpversion();
$php_major = floatval(substr($php_version, 0, 3));

if ($php_major < 5.4) {
	define('WITHOUT_SERVER', true);
} else {
	// Command that starts the built-in web server
	$command = sprintf('php -S %s:%d -t %s >./server.log 2>&1 & echo $!', WEB_SERVER_HOST, WEB_SERVER_PORT, WEB_SERVER_DOCROOT);

	// Execute the command and store the process ID
	$output = array();
	exec($command, $output, $exit_code);

	// sleep for a second to let server come up
	sleep(1);
	$pid = (int) $output[0];

	// check server.log to see if it failed to start
	$server_logs = file_get_contents("./server.log");
	if (strpos($server_logs, "Fail") !== false) {
		// server failed to start for some reason
		print "Failed to start server! Logs:" . PHP_EOL . PHP_EOL;
		print_r($server_logs);
		exit(1);
	}

	echo sprintf('%s - Web server started on %s:%d with PID %d', date('r'), WEB_SERVER_HOST, WEB_SERVER_PORT, $pid) . PHP_EOL;

	register_shutdown_function(function() {
		// cleanup after ourselves -- remove log file, shut down server
		global $pid;
		unlink("./server.log");
		posix_kill($pid, SIGKILL);
	});
}
